Nuprl Lemma : compose-fifo-send
11,40
postcript
pdf
True
latex
Definitions
t
T
,
True
,
f
o
g
origin
T T